TipoTítulo Autor EdiciónDisponibilidadValoración
Sin Portada
Artículo
Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z : Becker, Valeria (2003)
----------
coverllll
Tesis
Herramienta para automatizar la transformación UML/OCL a Object-Z: Becker, Valeria (2006)
Sala

----------
Sin Portada
Artículo
PAMPERO : precise assistant for the modeling process in an environment with refinement orientation Pons, Claudia Fabiana (2004)
----------